Short Note on Computational Intelligent Techniques for Industrial Production Systems
نویسندگان
چکیده
منابع مشابه
Formal validation of intelligent-automated production systems: towards industrial applications
This paper introduces a framework for formal modelling and validation of automation systems destined to be used directly by control engineers. The framework is based on a modelling formalism of Net Condition/Event Systems (NCES), which is graphical, modular and typed. This allows for the modelling of realistic hierarchically organised automation systems in a closed plant-controller loop. The fr...
متن کاملInnovative Modeling Techniques on Intelligent Tutoring Systems
This chapter describes three modeling techniques that have recently started to attract the attention of researchers and developers in the domain of intelligent tutoring systems (ITSs). These techniques are: hierarchical modeling, interoperable and reusable software components, and ontologies. All three of them have been used in developing a model of ITSs called GET-BITS (GEneric Tools for Build...
متن کاملCognitive Computational Models for Intelligent Engineering Systems
image categorization 10.1 Formulation of the image categorization problem Content based image classification is one of the key technical problems in the era of Internet based image databases. This section proposes a solution to classify abstract images drawn by hand in a wire-line manner. The object recognition system proposed in this chapter is applied to solve this problem. The OEL of the obj...
متن کاملImage Analysis Techniques for Industrial Inspection Systems
Techniki analizy obrazu dla potrzeb systemów inspekcji przemyss lowej Acknowledgments I am very grateful for the help and kindness of all the people that I had pleasure to meet while working on the thesis and earlier on, during last three years of exploring the field of industrial vision, including my teachers from the University of Wroclaw and Ecole Polytechnique Federale de Lausanne and my co...
متن کاملSymbolic Techniques for Formally Verifying Industrial Systems
The design of correct computer systems is extremely difficult. However, it is also a very important task. Such systems are frequently used in applications where failures can have catastrophic consequences, or cause significant financial losses. Simulation and testing are the most widely used verification techniques, but they can only show the presence of errors and cannot demonstrate correctnes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Global Journal of Technology and Optimization
سال: 2014
ISSN: 2229-8711
DOI: 10.4172/2229-8711.1000e105